Modeling UML 2 Package Merge with Alloy
نویسندگان
چکیده
Package merge is a new modeling concept introduced into the latest version of the UML standard to help structure the UML metamodel. It is a relationship between two packages, where the contents of one package are merged into the contents of the other. Despite its importance in UML, package merge is not well understood. As part of our work towards understanding and improving package merge in particular and model merge in general, we used Alloy to formalize and analyze different versions package merge. The analysis of the original version reveals the unexpected failure of crucial properties.
منابع مشابه
A Concern-based Technique for Architecture Modelling Using the UML Package Merge
In this paper, we present a concern-based technique for software architecture modelling. We use the new UML 2 Package Merge relationship as a technique for the separation of concerns. We present the advantages of using the UML Package Merge relationship for software architecture modelling, and we propose a set of extensions for its limitations.
متن کاملSome Shortcomings of OCL, the Object Constraint Language of UML
The purpose of this paper is to expose some shortcomings of the Object Constraint Language (OCL). We argue that, despite its numerous bene ts, OCL is too implementation-oriented and therefore not well-suited for conceptual modelling. Moreover, it is at times unnecessarily verbose, yet far from natural language. In the past couple of years, we have designed a language, Alloy, that has similar mo...
متن کاملUML Support for Designing Software Product Lines: The Package Merge Mechanism
Software product lines have become a successful but challenging approach to software reuse. Some of the problems that hinder the adoption of this development paradigm are the conceptual gap between the variability and design models, as well as the complexity of the traceability management between them. Most current development methods use UML stereotypes or modify UML to face variability and tr...
متن کاملComparison of the Modeling Languages Alloy and UML
Alloy is a new modeling language for software design, while Unified Modeling Language (UML) is a standard modeling language widely used in industry. This paper analyzes the similarities and the differences between Alloy and UML. It focuses on the complexity differences, accuracy differences, and the expression differences between these two languages. Both Alloy and UML can be used to specify th...
متن کاملA Model Driven Approach for the Atomated Analysis of UML Class Diagrams
The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. UML class diagrams are used to depict the static structure of a system with its entities and the relationships between them. The Object Constraint Language (OCL) is a textual language based on first-order logic and can be used to define constraints on the elements of class...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006